数据流分析相关论文
伴随电子控制单元(ECU)在汽车上的大量应用,汽车售后故障诊断技术朝电子化、智能化和自动化方向发展。诊断设备基于总线技术与车内ECU......
软件漏洞是网络安全事件产生的主要根源,已经成为网络空间博弈的重要战略资源,受到了国家、企业和研究机构的高度关注。面向二进制......
作为软件系统中的重要组成部分,注释对于程序理解和软件维护有着重大意义。软件开发过程中,项目代码与其注释往往存在不一致的问题......
学位
随着移动互联网的发展,越来越多的人受益于移动应用带来的便利。其中Android系统拥有着最大的市场占有率,但是也因其开源的特性和......
指针的安全性是C语言程序中的常见问题,它严重影响到系统的安全性.针对指针静态分析中的精度问题,比较分析了目前常见的5种指针分......
会议
本文介绍了几种在软件单元测试中常用的基于数据流的测试充分性评价准则。这些准则适用于用过程式语言、面向对象语言编写的程序。......
减少误报和漏报是基于缺陷的软件静态测试的核心问题之一,应用路径敏感的检测算法是减少误报的重要手段。本文提出了一种多项式复杂......
数据流分析技术基于编译优化理论,在程序转换过程中优化数据变量的定义,确定数据类型、程序参数以及函数返回值等。本文阐述了反编......
摘要:本文根据一台日产风度A33轿车发动机怠速熄火故障,在阐述日产ECCS系统基本工作原理基础上,运用数据分析方法对发动机怠速易熄火......
针对海量数据流分类的方法,创建海量数据流评判数学模型,保证系统的稳定性。对比静态数据,数据流具有传输高速性、动态变化性等特......
软件测试是保证软件质量的必不可少的步骤。古老的手工测试速度馒,错误多,而且测试得不充分。虽然测试理论发展得很快,但是实际的测试......
通过对机场气象自动观测系统(AWOS系统)的信号传输、处理以及数据应用机制的分析,和对系统提供的数据接口的学习、研究,结合国内......
资源泄漏是指资源分配后未及时释放的现象,这类故障可能导致系统资源被耗尽。首先分析了资源泄露故障原因,介绍Java语言的资源泄漏......
故障现象一辆2010年产宝马335i轿车(车型为E90),搭载N54 3.5 L发动机(采用电子节气门、高精度直喷、涡轮增压技术)和6速手-自一体......
案例1北京现代伊兰特1.6 L轿车低速加速无力,行驶中偶尔熄火。故障现象一辆2009款北京现代伊兰特1.6 L轿车,累计行驶约1.4万km,用......
故障现象一辆2010款奥迪Q5车,搭载2.0TSI发动机(CDN),行驶里程为5 006 km,前刮水器失灵,天窗打不开,车顶卷帘也不能开启。接通前风......
发动机次级点火波形可以反映发动机机械部分、燃油系统和点火系统的工作状况,每一部分出现故障,都会出现不同的故障波形。所以通过......
一辆广本2.3雅阁轿车由于氧传感器的失效,信号错误的信号回ECU(电脑板),从而导致发动机油耗加大,热车加速不顺。而在ECU的自诊断系......
在汽车空调维修过程中,常使用歧管压力表和万用表确定故障点,这种方法有一定的局限性。在熟悉系统工作原理的基础上,善于利用数据......
汽车故障诊断仪除了具有对汽车电子控制系统自诊断系统进行读取故障码和清除故障码的功能外,还具有对电子控制系统进行动态数据测......
6别克威朗车发动机部分数据流解释利用检测仪KT720读取别克威朗车发动机的数据流,对部分参数进行解释如下。6.1发动机负荷“发动机......
数据流分析是一种非常重要的静态程序分析技术,而指针的使用使倒数的流分析变得更加复杂和困难.该文定义了一个Pascal语言的子语言......
学位
该课题根据传统数据流分析技术,结合面向对象程序的特征,针对目前广为流行的面向对象语言--Java,主要研究了Java类单元上的数据流......
程序内存错误的检测是软件测试的重点和难点之一.内存泄漏的产生和体现具有隐蔽性和积累性的特征,往往容易被人们忽视.C/C++程序设......
日益严重的蠕虫和网络攻击的发生大多是由于软件中存在着安全缺陷,对软件安全缺陷的研究已经成为网络攻防的焦点。现有的软件安全缺......
C语言是一种广泛流行的高级计算机语言,即使现在已经有像java这样可以检查数组越界的语言,C语言还被使用于很多的系统开发中。一方面......
近年来,随着以计算机科学技术和通讯技术为代表的信息科学技术的广泛而深入的应用,人类社会已经进入了“网络时代”,网络互连和资源共......
近年来,结合了通用处理器的灵活性和专用集成电路的高效性优点的可重构计算技术获得了广泛深入的研究,它具有灵活高效的结构,非常......
Android版本的频繁更新是导致Android生态碎片化问题的一个重要原因。为了使Android应用可以在多个Android版本上使用,应用程序开发......
软件开发过程需要保证程序满足正确性规约。目前主要有软件测试、模型检验等技术用于程序的正确性保证。软件测试通过测试用例集来......
在软件工程任务中,使用控制流、数据流、控制依赖等程序分析技术分析和理解程序,并把得到的信息用于任务中.当前许多流行的程序设......
该文首先介绍了面向对象方法引入的特性如封装、继承、多态等给测试面向对象软件带来的困难;然后按照软件测试步骤详细阐述了面向......
该文致力于完成面向对象程序(C++)切片工具中数据依赖图的构造,因为数据依赖图的构造可以归结到程序中到达-定值信息的求解,所以该......
数据流分析是一种程序静态分析技术,它能从程序代码中收集程序的语义信息,并通过代数的方法确定变量的定义和使用。通过数据流分析......
基于虚拟化技术的云平台有强大的资源聚合、动态伸缩及服务迁移能力,应用前景广阔。另一方面,由于云平台中资源集中,多租户共享的特点......
软件测试是保障软件质量的重要手段,软件测试在软件开发中的地位也日益重要。其中数据流技术作为一种白盒测试技术,能提供充分的代......
现今的并行编程实践多采用锁等较低的同步机制访问共享资源,这种编程困难且易出错;新引入的原子区构造虽简化了编程,但支持其实现......
别名是C/C++程序的典型特征之一,通过别名分析可以提高数据流分析的准确性并且将有助于构建性能良好的程序分析工具。本文在综述别......
学位
面向服务的体系架构SOA(Service Oriented Architecture)基于服务来组织计算资源,具有良好的互操作性和松耦合性,促进了分布式计算......
随着软件技术的快速发展,软件的规模不断扩大,代码缺陷排查的难度日益增大,一些代码缺陷来源于某些输入源。分析缺陷的输入源需要......
静态代码检测工具主动执行代码检查以及分析,有助于提前发现并预防错误,能够在很大程度上提高软件可靠性并降低软件开发和测试成本......
随着互联网的快速发展,中国网民规模日益扩张,网站总量日益增多,Web应用与人民的生活越来越密切,web页面不再只是简单的静态html页......
学位
编译优化技术的目的是挖掘程序中的优化空间,提高程序编译或运行效率,无效代码删除优化是被广泛使用的编译优化技术之一,它旨在删......
汽车发动机是一个非常关键的部件,主要为汽车行驶提供驱动力。汽车发动机内部构造复杂、运行环境也较为恶劣,汽车发动机电控系统工作......